Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL
نویسندگان
چکیده
منابع مشابه
Simulation-Based Automated Verification of Safety-Critical Chassis-Control Systems
This paper presents and exemplifies a novel methodology to perform simulation-based automated testing for verification of complex chassis-control systems. The methods are derived from computer-game principles and regard the system under test as an opponent that is defeated when the specification is violated. The methodology is demonstrated on an auto-coding implementation of a brake-blending fu...
متن کاملdesigning unmanned aerial vehicle based on neuro-fuzzy systems
در این پایان نامه، کنترل نرو-فازی در پرنده هدایت پذیر از دور (پهپاد) استفاده شده است ابتدا در روش پیشنهادی اول، کنترل کننده نرو-فازی توسط مجموعه اطلاعات یک کنترل کننده pid به صورت off-line آموزش دیده است و در روش دوم یک کنترل کننده نرو-فازی on-line مبتنی بر شناسایی سیستم توسط شبکه عصبی rbf پیشنهاد شده است. سپس کاربرد این کنترل کننده در پهپاد بررسی شده است و مقایسه ای ما بین کنترل کننده های معمو...
Developing Dependable Automotive Embedded Systems using the EAST-ADL
The complexity of embedded automotive systems calls for a more rigorous approach to system development compared to current state of practice. A critical issue is the management of the engineering information that defines the embedded system. The EAST-ADL is an architecture description language for automotive embedded systems. The language emphasizes information management as a basis for systema...
متن کاملModeling and Simulation of Safety-Critical Automotive Systems
| A recent trend in the automotive industry is the introduction of 'x-by-wire' technologies, for example steerand brake-by-wire, in order to replace purely mechanical systems with electromechanical ones. Clearly, such systems have to operate safely under any circumstances in order to not endanger the passengers and the environment of xby-wire equipped vehicles. To be able to measure qualitative...
متن کاملScenario-Based Verification of Automotive Software Systems
Within the automotive industry, software engineering becomes more and more important. Especially component-based design is a popular approach in order to specify large, complex and reusable software systems. The reuse of software components has become a major challenge for the automotive software development. By reusing components, manufacturers and suppliers can (i) revert to already tested so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.04.122